Formal language - PDFSEARCH.IO - Document Search Engine

Formal language
Results: 1838

#	Item
441	A lexical analyzer generator for Standard ML. Version 1.6.0, October 1994 Andrew W. Appel1 James S. Mattson David R. Tarditi2 1 Add to Reading List Source URL: www.mlton.org Language: English - Date: 2014-02-17 13:56:37 Formal languages Compiler construction Parser generators Compiling tools Lex Standard ML String Regular expression Compiler Software engineering Computing Programming language implementation
442	Formal Verication of C++ Object Construction and Destruction Tahina Ramananandro1 1 INRIA Paris-Rocquencourt Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2012-01-28 17:27:37 C programming language C++ Struct C++ classes Initialization Constructor Construct Digital geometry Cohen–Sutherland algorithm Software engineering Computer programming Computing
443	Mining opportunities for unique inhabitants in dependent programs Gabriel Scherer, PhD Student under supervision of Didier R´emy Gallium – INRIA Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2013-09-29 11:09:42 Programming language theory Data types Formal methods Theoretical computer science Higher-order functions Type system Dependent type Lambda calculus Gallium Software engineering Computing Type theory
444	A formal operational semantics for C++ object construction and destruction Tahina Ramananandro http://gallium.inria.fr/~tramanan/cpp July 13, 2011 Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2011-07-28 07:47:39 C++ Object-oriented programming Method C programming language Virtual function C++ classes Constructor Struct Initialization Software engineering Computer programming Computing
445	What’s in a code? Towards a formal account of the relation of ontologies and coding systems (corrected version) Alan L Rector MD PhD School of Computer Science, University of Manchester, Manchester, England M13 9PL cit Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2007-10-05 09:46:48 Information science Semantic Web Technical communication Knowledge representation SNOMED CT Web Ontology Language Description logic Open Biomedical Ontologies Knowledge representation and reasoning Ontology Information Science
446	PDF Document Add to Reading List Source URL: ti.tuwien.ac.at Language: English - Date: 2012-06-28 12:52:25 Software engineering Logic in computer science Programming paradigms Association for Computing Machinery Models of computation Automata theory SIGNAL Formal verification Programming language Formal methods Computing Theoretical computer science
447	On Static Properties of Specialized Programs∗ Karoline Malmkjær † Department of Computing and Information Sciences Kansas State University ‡ Abstract Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:07 Applied mathematics Models of computation Programming language semantics Logic in computer science Denotational semantics Abstract interpretation Symbol Partial evaluation Interpretation Theoretical computer science Formal languages Mathematics
448	ICS 162 – Fall 2003 – Midterm Name: Student ID: 1: Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2003-11-10 23:13:26 Models of computation Computer science Software engineering Regular language Deterministic finite automaton Context-free grammar Nondeterministic finite automaton Regular expression Book:Theory Of Computation Automata theory Formal languages Theoretical computer science
449	IRP∩LSI is not RE ( Introduction of the manuscript: Tetsuya Ishiu, “IRP is Strictly Larger Than MTT” http://twitdoc.com/c/xrwhnm ) presentation by Kazuhiro Inaba (NII, ) Add to Reading List Source URL: www.kmonos.net Language: English - Date: 2010-08-09 02:16:32 Computing Formal language Theoretical computer science Lout
450	Are We There Yet? 20 Years of Industrial Theorem Proving with SPARK Roderick Chapman1 and Florian Schanda2 1 2 Add to Reading List Source URL: proteancode.com Language: English - Date: 2014-10-28 11:02:53 Formal methods Logic in computer science Ada programming language Automated theorem proving SPARK Formal verification Isabelle Proof assistant Static program analysis Theoretical computer science Computing Applied mathematics

UPDATE